interactive theorem proving造句
例句與造句
- Formal proofs often are constructed with the help of computers in interactive theorem proving.
- The HOL system is an environment for interactive theorem proving in a higher-order logic.
- This led to powerful new approaches to interactive theorem proving and has influenced the development of many subsequent functional programming languages.
- Recently, some formalist mathematicians have proposed that all of our " formal " mathematical knowledge should be systematically encoded in interactive theorem proving in the development of mathematical theories and computer software.
- The most developed subareas of automated reasoning are automated theorem proving ( and the less automated but more pragmatic subfield of interactive theorem proving ) and automated proof checking ( viewed as guaranteed correct reasoning under fixed assumptions ).
- It's difficult to find interactive theorem proving in a sentence. 用interactive theorem proving造句挺難的
- :Any of the programs listed at Interactive theorem proving should be able to do this . ( Though I'm not an expert at using them . ) Fair warning : these things are very difficult to use . talk ) 16 : 41, 24 March 2010 ( UTC)